; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = and i64 %"SymVar_0", 18446744073062583385
  %".5" = add i64 646968230, %".4"
  %".6" = zext i8 49 to i64
  %".7" = and i64 %".6", 63
  %".8" = lshr i64 %".5", %".7"
  %".9" = and i64 %"SymVar_0", 18446744073062583385
  %".10" = add i64 646968230, %".9"
  %".11" = zext i8 15 to i64
  %".12" = and i64 %".11", 63
  %".13" = shl i64 %".10", %".12"
  %".14" = xor i64 %".8", -1
  %".15" = and i64 %".13", %".14"
  %".16" = add i64 %".8", %".15"
  %".17" = or i64 %"SymVar_0", %".16"
  %".18" = and i64 %".16", %"SymVar_0"
  %".19" = sub i64 %".17", %".18"
  %".20" = zext i8 7 to i64
  %".21" = and i64 %".20", 63
  %".22" = lshr i64 %".19", %".21"
  %".23" = zext i64 %"SymVar_0" to i128
  %".24" = zext i64 0 to i128
  %".25" = shl i128 %".24", 64
  %".26" = or i128 %".23", %".25"
  %".27" = zext i8 7 to i64
  %".28" = zext i8 0 to i64
  %".29" = shl i64 %".28", 8
  %".30" = or i64 %".27", %".29"
  %".31" = zext i8 0 to i64
  %".32" = shl i64 %".31", 16
  %".33" = or i64 %".30", %".32"
  %".34" = zext i8 0 to i64
  %".35" = shl i64 %".34", 24
  %".36" = or i64 %".33", %".35"
  %".37" = zext i8 0 to i64
  %".38" = shl i64 %".37", 32
  %".39" = or i64 %".36", %".38"
  %".40" = zext i8 0 to i64
  %".41" = shl i64 %".40", 40
  %".42" = or i64 %".39", %".41"
  %".43" = zext i8 0 to i64
  %".44" = shl i64 %".43", 48
  %".45" = or i64 %".42", %".44"
  %".46" = zext i8 0 to i64
  %".47" = shl i64 %".46", 56
  %".48" = or i64 %".45", %".47"
  %".49" = zext i64 %".48" to i128
  %".50" = udiv i128 %".26", %".49"
  %".51" = trunc i128 %".50" to i64
  %".52" = xor i64 %".51", -1
  %".53" = or i64 %".52", 15
  %".54" = add i64 %".51", %".53"
  %".55" = add i64 %".54", 1
  %".56" = and i64 %".55", 18446744073709551614
  %".57" = add i64 1, %".56"
  %".58" = xor i64 %".57", -1
  %".59" = and i64 64, %".58"
  %".60" = xor i64 %".57", -1
  %".61" = and i64 64, %".60"
  %".62" = add i64 %".59", %".61"
  %".63" = xor i64 %".57", 64
  %".64" = sub i64 %".62", %".63"
  %".65" = trunc i64 %".64" to i32
  %".66" = zext i32 %".65" to i64
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = lshr i64 %".22", %".69"
  %".71" = xor i64 %".51", -1
  %".72" = or i64 %".71", 15
  %".73" = add i64 %".51", %".72"
  %".74" = add i64 %".73", 1
  %".75" = and i64 %".74", 18446744073709551614
  %".76" = add i64 1, %".75"
  %".77" = trunc i64 %".76" to i32
  %".78" = zext i32 %".77" to i64
  %".79" = trunc i64 %".78" to i8
  %".80" = zext i8 %".79" to i64
  %".81" = and i64 %".80", 63
  %".82" = shl i64 %".22", %".81"
  %".83" = xor i64 %".70", -1
  %".84" = and i64 %".82", %".83"
  %".85" = add i64 %".70", %".84"
  %".86" = zext i64 %".16" to i128
  %".87" = zext i64 0 to i128
  %".88" = shl i128 %".87", 64
  %".89" = or i128 %".86", %".88"
  %".90" = zext i8 7 to i64
  %".91" = zext i8 0 to i64
  %".92" = shl i64 %".91", 8
  %".93" = or i64 %".90", %".92"
  %".94" = zext i8 0 to i64
  %".95" = shl i64 %".94", 16
  %".96" = or i64 %".93", %".95"
  %".97" = zext i8 0 to i64
  %".98" = shl i64 %".97", 24
  %".99" = or i64 %".96", %".98"
  %".100" = zext i8 0 to i64
  %".101" = shl i64 %".100", 32
  %".102" = or i64 %".99", %".101"
  %".103" = zext i8 0 to i64
  %".104" = shl i64 %".103", 40
  %".105" = or i64 %".102", %".104"
  %".106" = zext i8 0 to i64
  %".107" = shl i64 %".106", 48
  %".108" = or i64 %".105", %".107"
  %".109" = zext i8 0 to i64
  %".110" = shl i64 %".109", 56
  %".111" = or i64 %".108", %".110"
  %".112" = zext i64 %".111" to i128
  %".113" = udiv i128 %".89", %".112"
  %".114" = trunc i128 %".113" to i64
  %".115" = sub i64 %".85", %".114"
  %".116" = xor i64 %".114", %".85"
  %".117" = xor i64 %".116", -1
  %".118" = and i64 %".115", %".117"
  %".119" = xor i64 %".85", -1
  %".120" = and i64 %".119", %".114"
  %".121" = or i64 %".118", %".120"
  %".122" = and i64 63, 63
  %".123" = lshr i64 %".121", %".122"
  %".124" = trunc i64 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i32
  %".127" = trunc i64 %".125" to i32
  %".128" = and i32 %".126", %".127"
  %".129" = icmp eq i32 %".128", 0
  br i1 %".129", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".133" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".134" = icmp eq i1 %".133", 1
  br i1 %".134", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".138" = phi i1 [1, %".3.endif.if"], [0, %".3.endif.else"]
  br i1 %".138", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  %".140" = zext i64 %"SymVar_0" to i128
  %".141" = zext i64 0 to i128
  %".142" = shl i128 %".141", 64
  %".143" = or i128 %".140", %".142"
  %".144" = zext i8 7 to i64
  %".145" = zext i8 0 to i64
  %".146" = shl i64 %".145", 8
  %".147" = or i64 %".144", %".146"
  %".148" = zext i8 0 to i64
  %".149" = shl i64 %".148", 16
  %".150" = or i64 %".147", %".149"
  %".151" = zext i8 0 to i64
  %".152" = shl i64 %".151", 24
  %".153" = or i64 %".150", %".152"
  %".154" = zext i8 0 to i64
  %".155" = shl i64 %".154", 32
  %".156" = or i64 %".153", %".155"
  %".157" = zext i8 0 to i64
  %".158" = shl i64 %".157", 40
  %".159" = or i64 %".156", %".158"
  %".160" = zext i8 0 to i64
  %".161" = shl i64 %".160", 48
  %".162" = or i64 %".159", %".161"
  %".163" = zext i8 0 to i64
  %".164" = shl i64 %".163", 56
  %".165" = or i64 %".162", %".164"
  %".166" = zext i64 %".165" to i128
  %".167" = udiv i128 %".143", %".166"
  %".168" = trunc i128 %".167" to i64
  %".169" = and i64 %"SymVar_0", 18446744073062583385
  %".170" = add i64 646968230, %".169"
  %".171" = zext i8 49 to i64
  %".172" = and i64 %".171", 63
  %".173" = lshr i64 %".170", %".172"
  %".174" = and i64 %"SymVar_0", 18446744073062583385
  %".175" = add i64 646968230, %".174"
  %".176" = zext i8 15 to i64
  %".177" = and i64 %".176", 63
  %".178" = shl i64 %".175", %".177"
  %".179" = xor i64 %".173", -1
  %".180" = and i64 %".178", %".179"
  %".181" = add i64 %".173", %".180"
  %".182" = or i64 %"SymVar_0", %".181"
  %".183" = and i64 %".181", %"SymVar_0"
  %".184" = sub i64 %".182", %".183"
  %".185" = zext i8 7 to i64
  %".186" = and i64 %".185", 63
  %".187" = lshr i64 %".184", %".186"
  %".188" = xor i64 %".187", -1
  %".189" = and i64 %".187", %".188"
  %".190" = sext i64 %".189" to i128
  %".191" = xor i64 %".187", -1
  %".192" = and i64 %".187", %".191"
  %".193" = sext i64 %".192" to i128
  %".194" = mul i128 %".190", %".193"
  %".195" = trunc i128 %".194" to i64
  %".196" = and i64 %".187", %".187"
  %".197" = sext i64 %".196" to i128
  %".198" = or i64 %".187", %".187"
  %".199" = sext i64 %".198" to i128
  %".200" = mul i128 %".197", %".199"
  %".201" = trunc i128 %".200" to i64
  %".202" = add i64 %".195", %".201"
  %".203" = xor i64 %".168", -1
  %".204" = or i64 %".203", 15
  %".205" = add i64 %".168", %".204"
  %".206" = add i64 %".205", 1
  %".207" = zext i8 3 to i64
  %".208" = and i64 %".207", 63
  %".209" = shl i64 %".206", %".208"
  %".210" = xor i64 %".181", -1
  %".211" = or i64 %".210", 7
  %".212" = add i64 %".181", %".211"
  %".213" = add i64 %".212", 1
  %".214" = and i64 %".213", 18446744073709551614
  %".215" = add i64 1, %".214"
  %".216" = trunc i64 %".215" to i32
  %".217" = zext i32 %".216" to i64
  %".218" = trunc i64 %".217" to i8
  %".219" = zext i8 %".218" to i64
  %".220" = and i64 %".219", 63
  %".221" = lshr i64 %"SymVar_0", %".220"
  %".222" = zext i8 7 to i64
  %".223" = and i64 %".222", 63
  %".224" = shl i64 %".221", %".223"
  %".225" = xor i64 %".209", -1
  %".226" = and i64 %".224", %".225"
  %".227" = add i64 %".209", %".226"
  %".228" = and i64 %".227", %".181"
  %".229" = or i64 %".181", %".227"
  %".230" = add i64 %".228", %".229"
  %".231" = and i64 %".202", %".230"
  %".232" = or i64 %".230", %".202"
  %".233" = add i64 %".231", %".232"
  %".234" = and i64 %".168", %".233"
  %".235" = or i64 %".233", %".168"
  %".236" = add i64 %".234", %".235"
  %".237" = xor i64 %".233", -1
  %".238" = and i64 %".236", %".237"
  %".239" = sext i64 %".238" to i128
  %".240" = xor i64 %".236", -1
  %".241" = and i64 %".240", %".233"
  %".242" = sext i64 %".241" to i128
  %".243" = mul i128 %".239", %".242"
  %".244" = trunc i128 %".243" to i64
  %".245" = and i64 %".233", %".236"
  %".246" = sext i64 %".245" to i128
  %".247" = or i64 %".236", %".233"
  %".248" = sext i64 %".247" to i128
  %".249" = mul i128 %".246", %".248"
  %".250" = trunc i128 %".249" to i64
  %".251" = add i64 %".244", %".250"
  %".252" = xor i64 %".230", -1
  %".253" = and i64 %".181", %".252"
  %".254" = add i64 %".230", %".253"
  %".255" = and i64 %".251", %".254"
  %".256" = add i64 %".255", %".255"
  %".257" = xor i64 %".254", %".251"
  %".258" = add i64 %".256", %".257"
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  %".260" = zext i64 %"SymVar_0" to i128
  %".261" = zext i64 0 to i128
  %".262" = shl i128 %".261", 64
  %".263" = or i128 %".260", %".262"
  %".264" = zext i8 7 to i64
  %".265" = zext i8 0 to i64
  %".266" = shl i64 %".265", 8
  %".267" = or i64 %".264", %".266"
  %".268" = zext i8 0 to i64
  %".269" = shl i64 %".268", 16
  %".270" = or i64 %".267", %".269"
  %".271" = zext i8 0 to i64
  %".272" = shl i64 %".271", 24
  %".273" = or i64 %".270", %".272"
  %".274" = zext i8 0 to i64
  %".275" = shl i64 %".274", 32
  %".276" = or i64 %".273", %".275"
  %".277" = zext i8 0 to i64
  %".278" = shl i64 %".277", 40
  %".279" = or i64 %".276", %".278"
  %".280" = zext i8 0 to i64
  %".281" = shl i64 %".280", 48
  %".282" = or i64 %".279", %".281"
  %".283" = zext i8 0 to i64
  %".284" = shl i64 %".283", 56
  %".285" = or i64 %".282", %".284"
  %".286" = zext i64 %".285" to i128
  %".287" = udiv i128 %".263", %".286"
  %".288" = trunc i128 %".287" to i64
  %".289" = zext i8 2 to i64
  %".290" = and i64 %".289", 63
  %".291" = lshr i64 %".288", %".290"
  %".292" = xor i64 %".291", -1
  %".293" = or i64 %".292", 15
  %".294" = add i64 %".291", %".293"
  %".295" = add i64 %".294", 1
  %".296" = and i64 %".295", 18446744073709551614
  %".297" = add i64 1, %".296"
  %".298" = xor i64 %".297", -1
  %".299" = add i64 %".298", 64
  %".300" = add i64 %".299", 1
  %".301" = trunc i64 %".300" to i32
  %".302" = zext i32 %".301" to i64
  %".303" = trunc i64 %".302" to i8
  %".304" = zext i8 %".303" to i64
  %".305" = and i64 %".304", 63
  %".306" = shl i64 %".288", %".305"
  %".307" = zext i8 2 to i64
  %".308" = and i64 %".307", 63
  %".309" = lshr i64 %".288", %".308"
  %".310" = xor i64 %".309", -1
  %".311" = or i64 %".310", 15
  %".312" = add i64 %".309", %".311"
  %".313" = add i64 %".312", 1
  %".314" = and i64 %".313", 18446744073709551614
  %".315" = add i64 1, %".314"
  %".316" = trunc i64 %".315" to i32
  %".317" = zext i32 %".316" to i64
  %".318" = trunc i64 %".317" to i8
  %".319" = zext i8 %".318" to i64
  %".320" = and i64 %".319", 63
  %".321" = lshr i64 %".288", %".320"
  %".322" = xor i64 %".306", -1
  %".323" = and i64 %".321", %".322"
  %".324" = add i64 %".306", %".323"
  %".325" = and i64 %"SymVar_0", 18446744073062583385
  %".326" = add i64 646968230, %".325"
  %".327" = zext i8 49 to i64
  %".328" = and i64 %".327", 63
  %".329" = lshr i64 %".326", %".328"
  %".330" = and i64 %"SymVar_0", 18446744073062583385
  %".331" = add i64 646968230, %".330"
  %".332" = zext i8 15 to i64
  %".333" = and i64 %".332", 63
  %".334" = shl i64 %".331", %".333"
  %".335" = xor i64 %".329", -1
  %".336" = and i64 %".334", %".335"
  %".337" = add i64 %".329", %".336"
  %".338" = or i64 %"SymVar_0", %".337"
  %".339" = and i64 %".337", %"SymVar_0"
  %".340" = sub i64 %".338", %".339"
  %".341" = zext i8 7 to i64
  %".342" = and i64 %".341", 63
  %".343" = lshr i64 %".340", %".342"
  %".344" = xor i64 %".343", -1
  %".345" = and i64 %".343", %".344"
  %".346" = sext i64 %".345" to i128
  %".347" = xor i64 %".343", -1
  %".348" = and i64 %".343", %".347"
  %".349" = sext i64 %".348" to i128
  %".350" = mul i128 %".346", %".349"
  %".351" = trunc i128 %".350" to i64
  %".352" = and i64 %".343", %".343"
  %".353" = sext i64 %".352" to i128
  %".354" = or i64 %".343", %".343"
  %".355" = sext i64 %".354" to i128
  %".356" = mul i128 %".353", %".355"
  %".357" = trunc i128 %".356" to i64
  %".358" = add i64 %".351", %".357"
  %".359" = xor i64 %".337", -1
  %".360" = or i64 %".359", 7
  %".361" = add i64 %".337", %".360"
  %".362" = add i64 %".361", 1
  %".363" = and i64 %".362", 18446744073709551614
  %".364" = add i64 1, %".363"
  %".365" = trunc i64 %".364" to i32
  %".366" = zext i32 %".365" to i64
  %".367" = trunc i64 %".366" to i8
  %".368" = zext i8 %".367" to i64
  %".369" = and i64 %".368", 63
  %".370" = lshr i64 %"SymVar_0", %".369"
  %".371" = zext i8 7 to i64
  %".372" = and i64 %".371", 63
  %".373" = shl i64 %".370", %".372"
  %".374" = and i64 %".373", %".337"
  %".375" = or i64 %".337", %".373"
  %".376" = add i64 %".374", %".375"
  %".377" = and i64 %".358", %".376"
  %".378" = or i64 %".376", %".358"
  %".379" = add i64 %".377", %".378"
  %".380" = and i64 %".324", %".379"
  %".381" = or i64 %".379", %".324"
  %".382" = add i64 %".380", %".381"
  %".383" = xor i64 %".379", -1
  %".384" = and i64 %".382", %".383"
  %".385" = sext i64 %".384" to i128
  %".386" = xor i64 %".382", -1
  %".387" = and i64 %".386", %".379"
  %".388" = sext i64 %".387" to i128
  %".389" = mul i128 %".385", %".388"
  %".390" = trunc i128 %".389" to i64
  %".391" = and i64 %".379", %".382"
  %".392" = sext i64 %".391" to i128
  %".393" = or i64 %".382", %".379"
  %".394" = sext i64 %".393" to i128
  %".395" = mul i128 %".392", %".394"
  %".396" = trunc i128 %".395" to i64
  %".397" = add i64 %".390", %".396"
  %".398" = xor i64 %".376", -1
  %".399" = and i64 %".337", %".398"
  %".400" = add i64 %".376", %".399"
  %".401" = and i64 %".397", %".400"
  %".402" = add i64 %".401", %".401"
  %".403" = xor i64 %".400", %".397"
  %".404" = add i64 %".402", %".403"
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".406" = phi i64 [%".258", %".3.endif.endif.if"], [%".404", %".3.endif.endif.else"]
  ret i64 %".406"
}
